<body>
Represents the components of Labeled Transition-State models (LTS).
</body>